Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
571	Algorithmic Invariant Theory Gregor Kemper Invariant theory can be put in a very general context: If “∼” is an equivalence relation on a set X, then an invariant is a function on X which is constant on every equiva Add to Reading List Source URL: www.issac-conference.org Language: English - Date: 2010-07-14 04:05:36
572	A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2014-01-23 06:18:08 Mathematics Mathematical logic Logic Automated theorem proving Logic programming Set theory Mathematical notation Set-builder notation Substitution Universal quantification FO Associative property
573	PDF Document Add to Reading List Source URL: security.cs.georgetown.edu Language: English - Date: 2014-07-11 14:03:09 Graph theory Mathematics Computational complexity theory Edsger W. Dijkstra Combinatorial optimization Network theory Maximal independent set Graph coloring Shortest path problem Matching Leader election Minimum spanning tree
574	PDF Document Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2007-04-08 10:17:59 Algebraic topology Homotopy theory Measure theory Cohomology Sheaf Simplicial set Sigma-algebra Orbifold
575	PDF Document Add to Reading List Source URL: www.francescobonchi.com Language: English - Date: 2013-06-08 07:44:14 Graph theory Mathematics Operations research Discrete mathematics Submodular set function Dynamic programming Flow network Centrality
576	PDF Document Add to Reading List Source URL: www.francescobonchi.com Language: English - Date: 2012-06-01 18:00:50 Graph theory Mathematics Cluster analysis Correlation clustering Cluster labeling Graph Clique Graph coloring Determining the number of clusters in a data set HCS clustering algorithm
577	PDF Document Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2009-11-24 09:24:11 Order theory Algebraic structures Semigroup theory Partially ordered set Lattice Ideal Monoid Semigroup Completeness Inverse semigroup Graded poset
578	PDF Document Add to Reading List Source URL: fpt.akt.tu-berlin.de Language: English - Date: 2015-05-03 06:37:17 Graph theory NP-complete problems Clique Independent set Split graph Neighbourhood Bipartite graph Degree Vertex Graph Line graph Chordal graph
579	Appalachian Set Theory Workshop on C-algebras, classification, and descriptive set theory The theme of these lectures will be that there are at least two quite different ideas of what it means to “classify” the obje Add to Reading List Source URL: www.math.cmu.edu Language: English* - Date: 2012-05-25 16:58:53
580	Operators on a complex Hilbert space Operator algebras and set theory Ilijas Farah York University Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2008-02-12 16:03:18

UPDATE